Typed closure conversion preserves observational equivalence
نویسندگان
چکیده
منابع مشابه
Flow-Directed Closure Conversion for Typed Languages
This paper presents a novel closure conversion strategy which is part of MLton, a whole-program compiler for Standard ML. Unlike other implementations, MLton performs closure-conversion at an early stage to translate programs to a simply-typed rst-order intermediate language upon which most optimizations are performed. Closure conversion is guided by a global control-ow analysis. Like previous ...
متن کاملFrom Call-by-Value to Interaction by Typed Closure Conversion
We study the efficient implementation of call-by-value using the structure of interactive computation models. This structure has been useful in applications to resource-bounded compilation, but much of the existing work in this area has focused on call-by-name programming languages. This paper works towards the goal of a simple, efficient treatment of call-by-value languages. In previous work w...
متن کاملTyped Closure Conversion for Recursively-deened Functions (extended Abstract)
Much recent work on the compilation of statically typed languages such as ML relies on the propagation of type information from source to object code in order to increase the reliability and maintainabilty of the compiler itself and to improve the eeciency and veriiability of generated code. To achieve this the program transformations performed by a compiler must be cast as type-preserving tran...
متن کاملDefunctionalisation as Typed Closure Conversion: Compositional Reasoning and Specification
We study the problem of translating from call-by-value pcf to a typed first-order low-level language. Such translations are typically defined by induction on the structure of the source term. Each sub-term is translated to a low-level program fragment and the translation of the whole term is a composition of these fragments. It is desirable to follow this compositional approach also in reasonin...
متن کاملTyped Closure Conversion for Recursively - De ned Functions ( Extended
Much recent work on the compilation of statically typed languages such as ML relies on the propagation of type information from source to object code in order to increase the reliability and maintainabilty of the compiler itself and to improve the e ciency and veri ability of generated code. To achieve this the program transformations performed by a compiler must be cast as type-preserving tran...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2008
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1411203.1411227